логического вывода ЭС

См. также в других словарях:

• Машина логического вывода — программа, моделирующая механизм рассуждений и оперирующая знаниями и данными с целью получения новых данных из знаний и других данных, имеющихся в рабочей памяти. Обычно машина логического вывода использует программно реализованный механизм… …   Финансовый словарь

• Машина логического вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например: «Адам является… …   Википедия

• метод логического вывода — механизм логического вывода — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы механизм логического вывода EN inference engine …   Справочник технического переводчика

• машина логического вывода — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN inference engine …   Справочник технического переводчика

• персональная машина логического вывода — — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом EN personal inference machinePSI …   Справочник технического переводчика

• управление процессом логического вывода — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN inference control …   Справочник технического переводчика

• Машина вывода — Машина вывода  программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае  утверждение, являющееся постоянно истинным, например:… …   Википедия

• Механизм вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например: «Адам является… …   Википедия

• Язык логического программирования — Логическое программирование парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода.… …   Википедия

• Логика — (греч. logike̅́)         наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л …   Большая советская энциклопедия

• Логик — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия